abstract formal model

英 [ˈæbstrækt ˈfɔːml ˈmɒdl]

美 [ˈæbstrækt ˈfɔːrml ˈmɑːdl]

【计】抽象形式模型

Abstract business ontology is formal representation of business conceptual model and it has significant value in developing reusable business model.
摘要业务本体是业务概念模型的形式化描述，对构建可重用的业务模型具有重要的价值。
It also introduces perfect automata as an abstract mathematics model of defining the command analyzer. Besides, this paper gives formal description of the command analyzer of the model.
引入了完备自动机作为定义命令分析器的一种抽象数学模型，并用该模型给出了命令分析器的形式化描述。
The second is abstract "Formal model" with the help of "Formal Technology". The usage of the formal technology in protocol testing will make protocol testing more accurate and efficient.
其次使用形式化技术提炼待测系统形式化模型；对初步的形式化模型进行分析、化简，得到待测集合；在协议测试中采用形式化技术将使协议测试更加精确和高效。
The abstract levels, architectural features, describing methods are thoroughly discussed. It describes different levels of components and their formal specifications, typical compound methods of components and organizing styles of IS based on this model.
描述了基于构件化层次模型的信息系统的抽象层次、结构元件、结构特征，给出了不同抽象粒度构件的形式化描述方法、构件连接的形式和方法、基于企业模型的系统软件组织方式；